Received: from bigboote.WPI.EDU by cs.umb.edu with SMTP id AA10455
(5.65c/IDA-1.4.4 for <tex-k@cs.umb.edu>); Wed, 8 Feb 1995 14:25:57 -0500
Received: from avante.WPI.EDU (john@avante.WPI.EDU [130.215.24.48]) by bigboote.WPI.EDU (8.6.9/8.6) with ESMTP id OAA13425 for <tex-k@cs.umb.edu>; Wed, 8 Feb 1995 14:25:56 -0500
From: John Stoffel <john@wpi.edu>
Received: (john@localhost) by avante.WPI.EDU (8.6.9/8.6) id OAA03493; Wed, 8 Feb 1995 14:25:54 -0500